Group-theoretic Approach for Symbolic Tensor Manipulation: I. Free Indices
نویسندگان
چکیده
We describe how Computational Group Theory provides tools for manipulating tensors in explicit index notation. In special, we present an algorithm that puts tensors with free indices obeying permutation symmetries into the canonical form. The method is based on algorithms for determining the canonical coset representative of a subgroup of the symmetric group. The complexity of our algorithm is polynomial on the number of indices and is useful for implementating general purpose tensor packages on the computer algebra systems.
منابع مشابه
Group-theoretic Approach for Symbolic Tensor Manipulation: II. Dummy Indices
Computational Group Theory is applied to indexed objects (tensors, spinors, and so on) with dummy indices. There are two groups to consider: one describes the intrinsic symmetries of the object and the other describes the interchange of names of dummy indices. The problem of finding canonical forms for indexed objects with dummy indices reduces to finding double coset canonical representatives....
متن کاملIntroduction to Redberry: the computer algebra system designed for tensor manipulation
In this paper we introduce Redberry — an open source computer algebra system designed to manipulate with symbolic tensorial expressions. It implements basic computer algebra system routines as well as complex tools for real computations in physics. Redberry core provides common for majority of computer algebra systems tools for expressions manipulation, generalized on tensorial objects, as well...
متن کاملAutomatic Differentiation for Tensor Algebras
Kjolstad et. al. proposed a tensor algebra compiler. It takes expressions that define a tensor element-wise, such as $f_{ij}(a,b,c,d) = \exp\left[-\sum_{k=0}^4 \left((a_{ik}+b_{jk})^2\, c_{ii} + d_{i+k}^3 \right) \right]$, and generates the corresponding compute kernel code. For machine learning, especially deep learning, it is often necessary to compute the gradient of a loss function $l(a,b,c...
متن کاملManipulation Control of a Flexible Space Free Flying Robot Using Fuzzy Tuning Approach
Cooperative object manipulation control of rigid-flexible multi-body systems in space is studied in this paper. During such tasks, flexible members like solar panels may get vibrated that in turn may lead to some oscillatory disturbing forces on other subsystems, and consequently produces error in the motion of the end-effectors of the cooperative manipulating arms. Therefore, to design and dev...
متن کاملTensor Computing for Internet of Things
This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 16152 “Tensor Computing for Internet of Things”. In an interactive three-day workshop industrial and academic researchers exchanged their multidisciplinary perspectives through impulse talks, panel discussions, and break-out sessions. Internet of Things (IoT) or Cyber-physical systems (CPS) bring out interestin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002